body {
  font-family: "Helvetica Neue", Helvetica, "Microsoft YaHei",  "微软雅黑", STXihei, "华文细黑", Arial, sans-serif;
}

h1,h3,h4 {
  font-family: Georgia, "Times New Roman",
             "Microsoft YaHei", "微软雅黑",
             STXihei, "华文细黑",
             serif;
}

.navbar {
  z-index: 1;
}

.python-jumbotron {
  background-image: -webkit-linear-gradient(#2d618c 30%, #3776ab 95%);
  background-image: -o-linear-gradient(#2d618c 30%, #3776ab 95%);
  background-image: linear-gradient(#2d618c 30%, #3776ab 95%);
}

p {
  font-family:  Helvetica, "Microsoft YaHei",  "微软雅黑", STXihei, "华文细黑", Arial, sans-serif;
}

h1 {
  padding-bottom: 15px;
  position: relative;
  margin-bottom: 15px;
}

h3 {
  color: gray;
  padding-bottom: 15px;
  margin-bottom: 15px;
}

h4 {
  color: gray;
}

.center-block {
  display: block;
  float: none;
  margin-left: auto;
  margin-right: auto;
}

.chart-title {
    text-align: center;
    margin-top: 3rem;
    margin-bottom: 1rem;
}

.navbar {
    margin-bottom: 0;
  }

html,body {
  height: 100%;
  /* The html and body elements cannot have any padding or margin. */
}

/* Wrapper for page content to push down footer */
#wrap {
  min-height: 100%;
  height: auto !important;
  height: 100%;
  /* Negative indent footer by it's height */
  margin: 0 auto -80px;
}

/* Set the fixed height of the footer here */
#push,
#footer {
  height: 80px;
}
#footer {
  background-color: #f8f8f8;
}

/* Lastly, apply responsive CSS fixes as necessary */
@media (max-width: 767px) {
  #footer {
    margin-left: -20px;
    margin-right: -20px;
    padding-left: 20px;
    padding-right: 20px;
  }
}


a.anchor {
    font-family: sans;
    visibility: hidden;
    text-decoration: none;
    color: black;
}

h2:hover > a.anchor {
    visibility: visible;
}
